On higher-order abstract syntax:
On monads in computer science, such as the (local) state monad:
On category theoretic probability theory (cf. convex powerset of distributions monad):
On effect handling via modules over monads in computer science:
Last revised on December 3, 2023 at 09:43:59. See the history of this page for a list of all contributions to it.